Sciweavers

16190 search results - page 88 / 3238
» Applicative programming with effects
Sort
View
114
Voted
EUROPAR
2008
Springer
15 years 2 months ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
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
PLDI
2009
ACM
15 years 7 months ago
LiteRace: effective sampling for lightweight data-race detection
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...
127
Voted
WLP
2004
Springer
15 years 6 months ago
Effective Modeling with Constraints
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
87
Voted
TSE
2002
70views more  TSE 2002»
15 years 7 days ago
The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities
T. Dean Hendrix, James H. Cross II, Saeed Maghsood...
83
Voted
TOOLS
2000
IEEE
15 years 5 months ago
A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications
Glêdson Elias da Silveira, Silvio Romero de ...