3456 search results - page 443 / 692 » Algorithms for Interface Synthesis |
169
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
We develop a message scheduling scheme that can theoretically achieve the maximum throughput for all–to–all personalized communication (AAPC) on any given Ethernet switched cl...
115
click to vote
MKM
2005
Springer
16 years 10 hour ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
164
click to vote
PVM
2004
Springer
15 years 12 months ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
150
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
164
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...