321 search results - page 19 / 65 » concurrency 2004 |
164
click to vote
NOSSDAV
2004
Springer
15 years 11 months ago
2004
Springer
—In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a WNIC is to transit...
169
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
149
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
160
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Coordination of development activities is often the most crucial success factor in a software development team. Typically, teams rely on configuration management (CM) systems for...
178
click to vote
WSC
2004
15 years 7 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...