4747 search results - page 675 / 950 » Shuffle Memory System |
154
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
208
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
155
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
178
click to vote
APWEB
2005
Springer
16 years 7 days ago
2005
Springer
VoiceXML is a standard language for developing voice based applications. VoiceXML applications have more advantages over traditional Interactive Voice Response (IVR) systems becaus...
159
click to vote
CAV
2005
Springer
16 years 7 days 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...