3045 search results - page 578 / 609 » Formal Approaches to Software Architecture |
186
click to vote
ISCA
2009
IEEE
16 years 20 days ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
159
click to vote
OOPSLA
2009
Springer
16 years 17 days ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
160
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
166
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
191
click to vote
CLEF
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes our experiments in Geographical Information Retrieval (GIR) in the context of our participation in the GeoCLEF 2006 Monolingual English task. The TALPGeoIR sy...