3750 search results - page 503 / 750 » Timed Automata Patterns |
146
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
125
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
123
Voted
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
Current paper presents new alternatives for accelerating the task of fault simulation for sequential circuits by hardware emulation on FPGA. Fault simulation is an important subta...
121
Voted
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
One research focus of human-centered teamwork is on advanced decision architectures that can help people make effective and timely decisions. This requires distributed team member...
115
Voted
LCN
2005
IEEE
15 years 9 months ago
2005
IEEE
A combined input and crosspoint queued (CICQ) switch with a flow control latency of round-trip time (RTT) packets requires each crosspoint (CP) buffer to hold the RTT packets in o...