3926 search results - page 693 / 786 » A Logic of Object-Oriented Programs |
180
click to vote
DNA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
170
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
179
click to vote
LCPC
2009
Springer
15 years 10 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
176
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
161
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...