469 search results - page 24 / 94 » Extended abstract: a race-free hardware modeling language |
130
click to vote
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
107
click to vote
IDEAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
108
click to vote
FSTTCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
98
Voted
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
104
click to vote
AIR
2006
14 years 11 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...