6308 search results - page 867 / 1262 » Modeling Urgency in Timed Systems |
211
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
195
click to vote
SG
2005
Springer
16 years 10 days ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
142
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Ranking methods like PageRank assess the importance of Web pages based on the current state of the rapidly evolving Web graph. The dynamics of the resulting importance scores, how...
172
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
288
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...