5241 search results - page 282 / 1049 » Embedded Programming with C |
129
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
111
click to vote
HIPEAC
2010
Springer
16 years 18 hour ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
141
click to vote
IEEECIT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
ENTCS
2008
15 years 3 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
206
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...