Sciweavers

1587 search results - page 284 / 318
» Software Engineering Programmes are not Computer Science Pro...
Sort
View
SIGCSE
2004
ACM
111views Education» more  SIGCSE 2004»
14 years 4 months ago
Events not equal to GUIs
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
Stuart A. Hansen, Timothy V. Fossum
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 11 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
DAC
2007
ACM
14 years 12 months ago
Design Methodology for Pipelined Heterogeneous Multiprocessor System
Multiprocessor SoC systems have led to the increasing use of parallel hardware along with the associated software. These approaches have included coprocessor, homogeneous processo...
Seng Lin Shee, Sri Parameswaran
CAV
2009
Springer
133views Hardware» more  CAV 2009»
14 years 11 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...
IEEEPACT
2007
IEEE
14 years 5 months ago
The OpenTM Transactional Application Programming Interface
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
Woongki Baek, Chi Cao Minh, Martin Trautmann, Chri...