310 search results - page 17 / 62 » A language and framework for invariant-driven transformation... |
VL
1995
IEEE
13 years 11 months ago
1995
IEEE
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
DLS
2009
13 years 5 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
ASPLOS
1992
ACM
13 years 12 months ago
1992
ACM
Multiprocessor architects have begun to explore several mechanisms such as prefetching, context-switching and software-assisted dynamic cache-coherence, which transform single-pha...
ICALP
2000
Springer
13 years 11 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,...
ITP
2010
13 years 11 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...