1312 search results - page 252 / 263 » Embedded contract languages |
PODS
2008
ACM
15 years 10 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
We show how to efï¬ciently evaluate generic map-ï¬lter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Multi-agent systems are difï¬cult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
CGO
2008
IEEE
15 years 4 months ago
2008
IEEE
In the embedded domain, custom hardware in the form of ASICs is often used to implement critical parts of applications when performance and energy efï¬ciency goals cannot be met ...