2752 search results - page 26 / 551 » Rounding to an Integral Program |
127
Voted
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
138
click to vote
ZUM
1994
Springer
15 years 7 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
120
click to vote
FECS
2006
15 years 4 months ago
2006
This paper presents the results of a semester's experiments with producing instruction in "castable" format for iPODs and PDAs. The program involved is a non-tradit...
130
click to vote
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
105
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...