4426 search results - page 31 / 886 » Concurrent Constraint Programming |
111
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Program code size has become a critical design constraint of embedded systems. Large program codes require large memories, which increase the size and cost of the chip. Poor co...
102
click to vote
PDPTA
2003
15 years 3 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
116
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
130
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
117
click to vote
IICS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...