12115 search results - page 2267 / 2423 » Bisimulation of Dynamical Systems |
142
click to vote
PADL
2012
Springer
14 years 4 days 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...
187
Voted
SIGMETRICS
2012
ACM
13 years 7 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...
157
click to vote
NOCS
2007
IEEE
15 years 11 months 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...
154
Voted
SP
2010
IEEE
15 years 8 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...
160
Voted
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...