1925 search results - page 146 / 385 » Dynamic Typing |
111
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
141
click to vote
INFOCOM
2010
IEEE
15 years 19 days ago
2010
IEEE
—We study how to characterize the families of paths between any two nodes s, t in a sensor network with holes. Two paths that can be deformed to one another through local changes...
136
Voted
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...
113
Voted
WSC
2001
15 years 3 months ago
2001
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...
122
Voted
ISOLA
2010
Springer
15 years 18 days ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...