6308 search results - page 378 / 1262 » Modeling Urgency in Timed Systems |
182
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
165
click to vote
TJS
2002
15 years 6 months ago
2002
The formulation, implementation and performance of a new fully implicit parallel model of the ocean circulation is presented. Within this model, steady states can be traced in one ...
188
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
173
Voted
HVC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
186
click to vote
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...