2370 search results - page 456 / 474 » On the Revival of Dynamic Languages |
177
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
156
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
162
click to vote
ACMMSP
2005
ACM
15 years 11 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
202
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
153
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...