6581 search results - page 965 / 1317 » Formalizing Design Patterns |
181
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— VillageNet is a wireless mesh network that aims to provide low-cost broadband Internet access for rural regions. The cost of building the network is kept low by using off-the-s...
185
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
166
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
168
click to vote
EUROCAST
2005
Springer
16 years 9 days ago
2005
Springer
abstract NP-hard optimization problem, in a general sense. From the observation that, intuitively, there are many connections among categorical concepts and structural complexity n...
207
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...