827 search results - page 127 / 166 » Patterns for Timed Property Specifications |
104
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
125
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
120
click to vote
PODS
2008
ACM
16 years 2 months ago
2008
ACM
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...
130
click to vote
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
124
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...