6308 search results - page 1056 / 1262 » Modeling Urgency in Timed Systems |
148
click to vote
WCRE
2006
IEEE
16 years 17 days ago
2006
IEEE
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
167
click to vote
ICCAD
2005
IEEE
16 years 5 days ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
161
click to vote
ISCA
2005
IEEE
16 years 5 days ago
2005
IEEE
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
150
click to vote
PADS
2005
ACM
16 years 4 days ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
162
click to vote
APN
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...