1700 search results - page 277 / 340 » Specifying and implementing refactorings |
204
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
202
click to vote
VIS
2005
IEEE
16 years 7 months ago
2005
IEEE
We describe OpenGL Multipipe SDK (MPK), a toolkit for scalable parallel rendering based on OpenGL. MPK provides a uniform application programming interface (API) to manage scalabl...
170
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
This paper describes an application framework for providing and managing personalized, interactive video on the web. The application framework enables content providers and aggreg...
167
click to vote
SPAA
2009
ACM
16 years 6 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
161
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...