3865 search results - page 480 / 773 » From Bidirectionality to Alternation |
154
click to vote
SAFECOMP
2004
Springer
16 years 2 days ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
178
click to vote
SETN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
177
click to vote
VECPAR
2004
Springer
16 years 2 days ago
2004
Springer
In this work we investigate how the compiler technique of message strip mining performs in practice on contemporary high performance networks. Message strip mining attempts to redu...
152
click to vote
ISQED
2010
IEEE
16 years 1 days ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
148
click to vote
ASYNC
2003
IEEE
16 years 1 days ago
2003
IEEE
The lack of proven mechanisms for transferring data between multiple synchronous islands has been a major impediment for applying globally asynchronous locally synchronous (GALS) ...