17054 search results - page 3265 / 3411 » Logics of Dynamical Systems |
171
click to vote
FEDCSIS
2011
14 years 5 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
162
click to vote
PADL
2012
Springer
14 years 1 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
216
click to vote
SIGMETRICS
2012
ACM
13 years 8 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...
176
click to vote
NOCS
2007
IEEE
16 years 6 days ago
2007
IEEE
The paper introduces Network-on-Chip (NoC) design methodology and low cost mechanisms for supporting efficient cache access and cache coherency in future high-performance Chip Mul...
176
click to vote
SP
2010
IEEE
15 years 9 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...