3168 search results - page 127 / 634 » Computing Event Dependencies in System Designs and Programs |
173
click to vote
SCM
1998
15 years 6 months ago
1998
Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
134
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
242
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
160
click to vote
ISPAN
2008
IEEE
15 years 11 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
118
Voted
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Computational RFIDs (CRFIDs) provide flexible, general-purpose computation on a microcontroller via energy that is harvested and stored in capacitors rather than batteries. Our co...