7716 search results - page 96 / 1544 » Can I pass |
177
click to vote
PLDI
2000
ACM
15 years 12 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
191
click to vote
VISUALIZATION
2005
IEEE
16 years 1 months ago
2005
IEEE
The evacuation of buildings in the event of a fire requires careful planning of ventilation and evacuation routes during early architectural design stages. Different designs are ...
234
click to vote
DSN
2003
IEEE
16 years 23 days ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
236
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
277
click to vote
MDM
2010
Springer
15 years 5 months ago
2010
Springer
—We present an optimal distributed algorithm to adapt the placement of a single operator in high communication cost networks, such as a wireless sensor network. Our parameterfree...