Sciweavers

302 search results - page 22 / 61
» Indexing the Java API Using Source Code
Sort
View
WORDS
2002
IEEE
15 years 7 months ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
ICSE
2009
IEEE-ACM
15 years 8 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
167
Voted
POPL
1998
ACM
15 years 6 months ago
A Type System for Java Bytecode Subroutines
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
Raymie Stata, Martín Abadi
235
Voted

Book
372views
16 years 10 months ago
EJB Design Patterns
"EJB Design Patterns goes beyond high-level design pattern descriptions into critical EJB-specific implementation issues, illustrated with source code implementations. The boo...
Floyd Marinescu
FIDJI
2004
Springer
15 years 5 months ago
Modeling and Analysis of Exception Handling by Using UML Statecharts
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
Gergely Pintér, István Majzik