12697 search results - page 75 / 2540 » Call for Papers |
SRDS
2000
IEEE
15 years 4 months ago
2000
IEEE
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a technique for glitch power minimization in combinational circuits. The total number of glitches is reduced by replacing some existing gates with functionally...
116
click to vote
LCR
1998
Springer
15 years 4 months ago
1998
Springer
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
100
click to vote
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...