1679 search results - page 94 / 336 » Strong order equivalence |
141
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
141
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
145
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
176
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
In European-funded project MIS under the MLIS programme, the authors attempted a computer-driven translation package for tourism texts in 5 languages. It was believed such a packa...
166
click to vote
WCE
2007
15 years 6 months ago
2007
—This paper proposes and uses multivariate methods as a tool to evaluate performances of the hardware of microcomputers using their performance data, speed and price. The evaluat...