3555 search results - page 145 / 711 » Security-Critical System Development with Extended Use Cases |
131
Voted
JIB
2007
15 years 3 months ago
2007
Control of cell proliferation, differentiation, activation and cell removal is crucial for the development and existence of multi-cellular organisms. Apoptosis, or programmed cell...
111
click to vote
ENTCS
2002
15 years 3 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
118
Voted
ISPASS
2005
IEEE
15 years 9 months ago
2005
IEEE
Computer architecture research in academia and industry is heavily reliant on simulation studies. While microprocessor companies have the resources to develop highly detailed simu...
138
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
128
Voted
WSC
1998
15 years 5 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...