279 search results - page 17 / 56 » Testing for Refinement in CSP |
120
click to vote
JPDC
2006
15 years 2 months ago
2006
The problem of task assignment in heterogeneous computing systems has been studied for many years with many variations. We consider the version in which communicating tasks are to...
91
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...
109
Voted
ENTCS
2006
15 years 2 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
159
Voted
MTV
2005
IEEE
15 years 8 months ago
2005
IEEE
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...
128
Voted
HCI
2009
15 years 12 days ago
2009
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...