2752 search results - page 28 / 551 » Rounding to an Integral Program |
CADE
2009
Springer
14 years 9 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
SIGCSE
1998
ACM
14 years 27 days ago
1998
ACM
,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...
ACMSE
2007
ACM
14 years 21 days ago
2007
ACM
In this paper we describe our experience in integrating the RIM's BlackBerry handheld wireless device into programming and literacy courses at the University of Guelph and th...
CCE
2008
13 years 8 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
CODES
2011
IEEE
12 years 8 months ago
2011
IEEE
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...