2500 search results - page 238 / 500 » Specifying Behavior in C |
160
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
150
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
140
click to vote
ASIAN
2004
Springer
15 years 9 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
158
click to vote
SERA
2004
Springer
15 years 9 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
146
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...