7557 search results - page 55 / 1512 » Modeling Timed Concurrent Systems |
127
click to vote
APIN
1998
15 years 1 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
108
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
125
click to vote
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
122
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...