Search Sciweavers | Sciweavers

16190 search results - page 88 / 3238

» Applicative programming with effects

click to vote

EUROPAR
2008
Springer

164views Distributed And Parallel Com...» more EUROPAR 2008»

Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers

13 years 9 months ago

Download www.des.udc.es

Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...

Manuel Arenaz, Pedro Amoedo, Juan Touriño

claim paper

Read More »

click to vote

PLDI
2009
ACM

144views Programming Languages» more PLDI 2009»

LiteRace: effective sampling for lightweight data-race detection

14 years 2 months ago

Download www.cs.ucla.edu

Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...

Daniel Marino, Madanlal Musuvathi, Satish Narayana...

claim paper

Read More »

click to vote

WLP
2004
Springer

83views Artificial Intelligence» more WLP 2004»

Effective Modeling with Constraints

14 years 1 months ago

Download kti.ms.mff.cuni.cz

Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...

Roman Barták

claim paper

Read More »

click to vote

TSE
2002

70views more TSE 2002»

The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities

13 years 7 months ago

Download www.cs.kent.edu

T. Dean Hendrix, James H. Cross II, Saeed Maghsood...

claim paper

Read More »