6274 search results - page 454 / 1255 » Proofs, Programs, Processes |
215
click to vote
DAC
2006
ACM
16 years 25 days ago
2006
ACM
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...
195
click to vote
CEFP
2005
Springer
16 years 12 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
196
click to vote
GPCE
2004
Springer
16 years 7 days ago
2004
Springer
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
151
click to vote
SIGUCCS
2003
ACM
16 years 3 days ago
2003
ACM
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
196
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...