Sciweavers

1268 search results - page 185 / 254
» One Logic to Use Them All
Sort
View
WWW
2007
ACM
16 years 7 months ago
XML design for relational storage
Design principles for XML schemas that eliminate redundancies and avoid update anomalies have been studied recently. Several normal forms, generalizing those for relational databa...
Solmaz Kolahi, Leonid Libkin
ESOP
2005
Springer
15 years 12 months ago
Asserting Bytecode Safety
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
Martin Wildmoser, Tobias Nipkow
DIGRA
2003
Springer
15 years 11 months ago
Exploration in computer games - a new starting point
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
Simon Egenfeldt-Nielsen
EMSOFT
2006
Springer
15 years 10 months ago
Compiler-assisted leakage energy optimization for clustered VLIW architectures
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...
Rahul Nagpal, Y. N. Srikant
JITECH
2007
92views more  JITECH 2007»
15 years 6 months ago
Modernization of passenger reservation system: Indian Railways' dilemma
This teaching case discusses the challenges being faced by the technology managers at Indian Railways (IR) in the current scenario of a resurgent national economy coupled with inc...
Shirish C. Srivastava, Sharat S. Mathur, Thompson ...