Sciweavers

2482 search results - page 232 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
129
Voted
AMAI
2007
Springer
15 years 2 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
EUROMED
2010
15 years 1 months ago
Same Same But Different - Comparing Rendering Environments for Interactive Digital Objects
Digital cultural heritage in interactive form can take different shapes. It can be either in the form of interactive virtual representations of non-digital objects like buildings o...
Mark Guttenbrunner, J. Wieners, Andreas Rauber, Ma...
129
Voted
ERSA
2010
187views Hardware» more  ERSA 2010»
15 years 16 days ago
An Open Source Circuit Library with Benchmarking Facilities
In this paper, we introduce the open-source PivPav backend tool for reconfigurable computing. Essentially, PivPav provides an interface to a library of digital circuits that are ke...
Mariusz Grad, Christian Plessl
174
Voted
SIGMETRICS
2010
ACM
145views Hardware» more  SIGMETRICS 2010»
14 years 9 months ago
Towards architecture independent metrics for multicore performance analysis
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
Milind Kulkarni, Vijay S. Pai, Derek L. Schuff
IFIP
2009
Springer
15 years 9 months ago
A Policy Model for Secure Information Flow
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
Adedayo Adetoye, Atta Badii