6274 search results - page 454 / 1255 » Proofs, Programs, Processes |
244
click to vote
DAC
2006
ACM
16 years 1 months 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...
220
click to vote
CEFP
2005
Springer
16 years 1 months 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...
223
click to vote
GPCE
2004
Springer
16 years 1 months 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...
175
click to vote
SIGUCCS
2003
ACM
16 years 26 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...
215
click to vote
COOPIS
2004
IEEE
15 years 11 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...