7835 search results - page 1341 / 1567 » Software are Processes Too |
160
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
High-performance computing clusters running longlived tasks currently cannot have kernel software updates applied to them without causing system downtime. These clusters miss oppo...
201
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
159
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
172
click to vote
ISSRE
2006
IEEE
16 years 19 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
161
click to vote
MEMOCODE
2006
IEEE
16 years 19 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...