Sciweavers

1446 search results - page 99 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
OOPSLA
2007
Springer
15 years 8 months ago
The JikesXen Java server platform
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
Georgios Gousios
JMM2
2007
96views more  JMM2 2007»
15 years 2 months ago
Software Watermarking Resilient to Debugging Attacks
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
Gaurav Gupta, Josef Pieprzyk
124
Voted
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
15 years 8 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
125
Voted
EUROMICRO
2003
IEEE
15 years 8 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska
QSIC
2005
IEEE
15 years 8 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han