2881 search results - page 390 / 577 » Model Checking for Programming Languages using Verisoft |
169
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
147
Voted
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
139
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
138
click to vote
WSC
2008
15 years 8 months ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
206
click to vote
ACMMSP
2006
ACM
16 years 12 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...