89 search results - page 13 / 18 » Program and Algorithm Visualization in Engineering and Physi... |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
AVSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
PLDI
2003
ACM
14 years 19 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...