Sciweavers

3663 search results - page 462 / 733
» Problems in the ontology of computer programs
Sort
View
GECCO
2007
Springer
300views Optimization» more  GECCO 2007»
16 years 26 days ago
A NSGA-II, web-enabled, parallel optimization framework for NLP and MINLP
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
David J. Powell, Joel K. Hollingsworth
ICALP
2007
Springer
16 years 26 days ago
An Optimal Decomposition Algorithm for Tree Edit Distance
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
Erik D. Demaine, Shay Mozes, Benjamin Rossman, Ore...
ICMCS
2006
IEEE
102views Multimedia» more  ICMCS 2006»
16 years 22 days ago
A Novel Reverse Frame Selection Scheme for Video Streaming over VBR Channels
— In this paper, we propose a Reverse Frame Selection (RFS) scheme based on dynamic programming to solve for the problem of video streaming over VBR channels. In particular, we ...
Dayong Tao, Jianfei Cai
FSTTCS
2005
Springer
16 years 6 days ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
SP
2003
IEEE
104views Security Privacy» more  SP 2003»
15 years 12 months ago
Using Replication and Partitioning to Build Secure Distributed Systems
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
Lantian Zheng, Stephen Chong, Andrew C. Myers, Ste...