3168 search results - page 355 / 634 » Computing Event Dependencies in System Designs and Programs |
164
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
208
click to vote
PLDI
2005
ACM
16 years 4 days ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
200
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
162
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
167
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...