1401 search results - page 87 / 281 » Tool Integration for Reasoned Programming |
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
ECEH
2007
13 years 10 months ago
2007
: Mobile devices are becoming ubiquitous in everyday’s life, their popularity and place independence are reasons for using these devices in different areas. One such area is elec...
SOSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
FPGA
2011
ACM
13 years 11 days ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
COMMA
2006
13 years 10 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...