2343 search results - page 334 / 469 » Structure and Interpretation of Computer Programs |
111
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
Persistent programming languages are targetted primarily at application systems involving complex data structures and relationships, as typi ed by Geographical Information Systems...
125
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
136
click to vote
CGF
2008
15 years 5 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
127
click to vote
MP
2008
15 years 5 months ago
2008
: We present polynomial-time interior-point algorithms for solving the Fisher and Arrow-Debreu competitive market equilibrium problems with linear utilities and n players. Both of ...
138
Voted
EOR
2007
15 years 5 months ago
2007
We consider a supply chain design problem where the decision maker needs to decide the number and locations of the distribution centers (DCs). Customers face random demand, and ea...