3381 search results - page 167 / 677 » Extending Dependencies with Conditions |
151
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
160
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...
177
click to vote
RT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The appearance of many natural materials is largely influenced by the environment in which they are situated. Capturing the effects of such environmental factors is esse...
126
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Task management involves task creation and execution. These are facilitated using a task schema as exemplified in the Hercules Task Manager. Experience with Hercules has shown the...
189
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...