1888 search results - page 80 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
163
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
131
click to vote
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
113
click to vote
HOTSWUP
2009
ACM
15 years 8 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
123
Voted
LREC
2010
15 years 4 months ago
2010
This paper presents the outline and performance of an automatic syllable boundary detection system. The syllabification of phonemes is performed with a rule-based system, implemen...
141
click to vote
ICCAD
2002
IEEE
16 years 3 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...