3310 search results - page 328 / 662 » Aspect-aware operating system development |
144
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
134
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
139
Voted
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
119
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Application and desktop sharing allows sharing any application with one or more people over the Internet. The participants receive the screen-view of the shared application from t...
135
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...