Sciweavers

13457 search results - page 96 / 2692
» Design and Development of the Long-Jumping
Sort
View
HASKELL
2006
ACM
15 years 7 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
PVM
1997
Springer
15 years 5 months ago
Message-Passing Program Development by Ensemble
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
John Yiannis Cotronis
ECSCW
2003
15 years 2 months ago
Informing the Development of Calendar Systems for Domestic Use
This paper contributes to the design of Groupware Calendar Systems (GCSs) for use in domestic life. We consider a number of ethnographic studies of calendar use in domestic circums...
Andy Crabtree, Terry Hemmings, Tom Rodden, John A....
JSA
2007
142views more  JSA 2007»
15 years 1 months ago
Efficient FPGA hardware development: A multi-language approach
This paper presents a multi-language framework to FPGA hardware development which aims to satisfy the dual requirement of high level hardware design and efficient hardware impleme...
Khaled Benkrid, Abdsamad Benkrid, S. Belkacemi
ACMDIS
2000
ACM
15 years 6 months ago
Meta-Design: Design for Designers
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...
Gerhard Fischer, Eric Scharff