1448 search results - page 100 / 290 » From Requirements to Code Revisited |
140
click to vote
ENTCS
2010
14 years 10 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
135
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
Multimedia transmissions over heterogeneous networks require a high degree of flexibility from video compression systems. They are expected to be fully scalable, that is to say to...
119
click to vote
SOSP
2003
ACM
16 years 22 days ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
148
Voted
ARCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
234
click to vote
ACMMSP
2006
ACM
15 years 9 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...