1350 search results - page 124 / 270 » Reasoning about Staged Computation |
149
click to vote
JUCS
2007
15 years 5 months ago
2007
: This paper presents a project that provides both, to professors and to students, a tool that is useful for studying, teaching and learning how pipelines work and how they can be ...
191
Voted
EKNOW
2009
15 years 3 months ago
2009
As the number of transactions in E-market places is growing, more and more product information and product reviews are posted on the Internet. Because customers want to purchase go...
172
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...
168
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
180
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...