3082 search results - page 141 / 617 » Deviation Analysis: A New Use of Model Checking |
189
click to vote
JUCS
2000
15 years 6 months ago
2000
: This paper presents an evaluation of our Scheduled Dataflow (SDF) Processor. Recent focus in the field of new processor architectures is mainly on VLIW (e.g. IA-64), superscalar ...
194
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: A nanopore detector has a nanometer-scale trans-membrane channel across which a potential difference is established, resulting in an ionic current through the channel ...
209
click to vote
FSEN
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
156
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
170
click to vote
CSL
2009
Springer
16 years 28 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...