891 search results - page 153 / 179 » Full Abstraction for PCF |
165
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
145
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
166
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
152
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
144
Voted
AOSD
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...