1901 search results - page 349 / 381 » Predicting Program Properties from |
63
Voted
MEMOCODE
2005
IEEE
15 years 4 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
77
Voted
SACMAT
2003
ACM
15 years 4 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
VLDB
1999
ACM
15 years 3 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...
95
Voted
CIDR
2003
15 years 8 days ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
117
Voted
MP
2002
14 years 10 months ago
2002
We introduce an alternative to the smoothing technique approach for constrained optimization. As it turns out for any given smoothing function there exists a modification with part...