Sciweavers

11 search results - page 1 / 3
» Maurer Computers with Single-Thread Control
Sort
View
FUIN
2007
89views more  FUIN 2007»
13 years 11 months ago
Maurer Computers with Single-Thread Control
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
Jan A. Bergstra, C. A. Middelburg
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
14 years 1 months ago
Optimal control of a fedbatch fermentation process: Numerical methods, sufficient conditions and sensitivity analysis
Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
Adam Korytowski, Maciej Szymkat, Helmut Maurer, Ge...
HICSS
1995
IEEE
109views Biometrics» more  HICSS 1995»
14 years 2 months ago
The architecture of an optimistic CPU: the WarpEngine
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
John G. Cleary, Murray Pearson, Husam Kinawi
AINA
2007
IEEE
14 years 5 months ago
A Flexible Scheduling Framework for Deeply Embedded Systems
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
Karsten Walther, Jörg Nolte
EUROCRYPT
1998
Springer
14 years 3 months ago
Quorum-Based Secure Multi-party Computation
Abstract. This paper describes e cient protocols for multi-party computations that are information-theoretically secure against passive attacks. The results presented here apply to...
Donald Beaver, Avishai Wool