Showing 181 - 200 of 5,745

181

Dynamic software adaptation : Middleware for pervasive computing
ALONSO, Gustavo
SEM 2004 : software engineering and middleware (Linz, 20-21 September 2004, revised selected papers)Lecture notes in computer science. :3-18

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
182

Debugging by remote reflection
NGO, T ; BARTON, J
Euro-Par 2000 parallel processing (Munich, 29 August - 1 September 2000)Lecture notes in computer science. :1031-1038

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
183

Fully asynchronous Java APIs for web applications
Daniel Pereira da Silva

Engenharia electrotécnic... Electrical engineering,...
Save to List
184

Formal implementation of a verification algorithm using the B method
CASSET, Ludovic
AFADL'2001 : approches formelles dans l'assistance au développement de logiciels (Nancy, 11-13 juin 2001 ). :51-65

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
185

A comparative evaluation of parallel garbage collector implementations
ATTANASIO, Clement R ; BACON, David F ; COCCHI, Anthony ; et al.
LCPC 2001 : languages and compilers for parallel computing (Cumberland Falls KY, 1-3 August 2001, revised papers)Lecture notes in computer science. :177-192

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
186

Keeping Java in Check.
Perlow, Jason
Linux Magazine. Jun2005, Vol. 7 Issue 6, p64-64. 1p.

Open source software Java programming languag... Virtual machine systems Application software
Journal
Save to List
187

An Introduction to Java Card Programming
Akram, Raja Naeem ; Markantonakis, Konstantinos ; Mayes, Keith
Secure Smart Embedded Devices, Platforms and Applications. 2014, p497-513.

Book
Save to List
188

Ambiente Java para sistemas embedded
Silva, Valter Filipe Miranda Castelão da

Engenharia electrónica -... Linguagens de programaçã... Sistemas embebidos
Save to List
189

Verified bytecode subroutines
KLEIN, Gerwin ; WILDMOSER, Martin
TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003)Lecture notes in computer science. :55-70

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
190

Implementing non-strict evaluation on OOVMs
PERRY, N
IEE Proceedings - Software (Print). 152(6):309-315

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
Save to List
191

A program logic for resource verification
ASPINALL, David ; BERINGER, Lennart ; HOFMANN, Martin ; et al.
TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004)Lecture notes in computer science. :34-49

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
192

Secure Safe Ambients
BUGLIESI, Michele ; CASTAGNA, Giuseppe
Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages® (POPL® 2001)ACM SIGPLAN notices. 36(3):222-235

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
193

A static type system for JVM access control
HIGUCHI, Tomoyuki ; OHORI, Atsushi
ACM transactions on programming languages and systems. 29(1):1-42

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
Save to List
194

This result is not available to guest users.

195

Space-and-Time Efficient Parallel Garbage Collector for Data-Intensive Applications
Liu, Shaoshan ; Wang, Ligang ; Li, Xiao-Feng ; et al.
International Journal of Parallel Programming. August 2011 39(4):451-472

Academic journal
Save to List
196

A Hardware Abstraction Layer in Java.
SCHOEBERL, MARTIN ; KORSHOLM, STEPHAN ; KALIBERA, TOMAS ; et al.
ACM Transactions on Embedded Computing Systems; Nov2011, Vol. 10 Issue 4, p1-40, 40p

EMBEDDED computer system... COMPUTER input-output eq... JAVA programming languag... PROGRAMMING languages COMPUTER operating syste... REAL-time computing
Academic journal
Save to List
197

Accurate, efficient, and adaptive calling context profiling
XIAOTONG ZHUANG ; SERRANO, Mauricio J ; CAIN, Harold W ; et al.
PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, 2006, Ottawa, Ontario, CanadaACM SIGPLAN notices. 41(6):263-271

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
198

Implementing functional languages on object-oriented virtual machines
PERRY, N ; MEIJER, E
IEE Proceedings - Software (Print). 151(1):1-9

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
Save to List
199

Equational Logic and Categorical Semantics for Multi-Languages.
Buro, Samuele ; Crole, Roy ; Mastroeni, Isabella
ENTCS: Electronic Notes in Theoretical Computer Science. Oct2020, Vol. 352, p79-103. 25p.

Semantics (Philosophy) Programming languages Mathematical category th... General semantics Language & languages Semantics
Journal
Save to List
200

Objektinis programavimas ir vartotojo grafinis interfeisas (GUI) NetBeans aplinkoje
Kazlauskas, Kazys ; Nekrašaitė, Kristina ; Dzemyda, Gintautas ; et al.

Electronic Resource
Save to List

Filter