3441 search results - page 592 / 689 » Parallel Logic Programming Systems |
160
click to vote
ANSOFT
2002
15 years 2 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
113
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
107
Voted
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
137
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
112
Voted
ICDCSW
2008
IEEE
15 years 9 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...