Sciweavers

4386 search results - page 520 / 878
» A Tamper-Resistant Programming Language System
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
Design and implementation of a comprehensive real-time java virtual machine
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
Joshua S. Auerbach, David F. Bacon, Bob Blainey, P...
VL
2002
IEEE
129views Visual Languages» more  VL 2002»
15 years 9 months ago
A Data Mapping Specification Environment Using a Concrete Business Form-Based Metaphor
Many systems require data transformation – the conversion of complex data from one format to another. Most current approaches require programming, scripting bstract visual speci...
Yongqiang Li, John C. Grundy, Robert Amor, John G....
ISSTA
2012
ACM
13 years 7 months ago
Swarm testing
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen,...
IWMM
2009
Springer
125views Hardware» more  IWMM 2009»
15 years 11 months ago
Precise garbage collection for C
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
OOPSLA
2007
Springer
15 years 10 months ago
Democratizing the cloud
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
Erik Meijer