12981 search results - page 514 / 2597 » Model Checking (Abstract) |
128
click to vote
BMCBI
2007
15 years 6 months ago
2007
abstract Niels Landwehr1 , Taneli Mielik¨ainen2 , Lauri Eronen2 , Hannu Toivonen1,2 , and Heikki Mannila2 1 Machine Learning Lab, Dept. of Comp. Science, University of Freiburg, G...
144
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
182
Voted
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
159
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
145
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...