1236 search results - page 225 / 248 » The Problems of Data Modeling in Software Practice |
137
click to vote
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
109
Voted
CASES
2009
ACM
15 years 10 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
136
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
High-speed serial network interfaces are gaining wide use in connecting multiple processors and peripherals in modern embedded systems, thanks to their size advantage and power ef...
170
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
142
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...