223 search results - page 26 / 45 » Automated Implicit Computational Complexity Analysis (System... |
147
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
186
Voted
Publication
A large class of systems of biological and technological relevance can be described as analog networks, that is, collections of dynamic devices interconnected by links of varying s...
108
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...
161
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
163
Voted
ICDT
2012
ACM
13 years 5 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...