20655 search results - page 168 / 4131 » Exploring Software Systems |
132
click to vote
FCCM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
139
Voted
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...
129
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
198
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
142
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
When designing heterogeneous MP-SoCs designers have to take into account various objectives such as power, die size, flexibility, performance or programmability. But to be able t...