6607 search results - page 629 / 1322 » Making TeX Work |
167
click to vote
LICS
2002
IEEE
16 years 4 days ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
192
click to vote
VL
2002
IEEE
16 years 3 days ago
2002
IEEE
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
169
click to vote
WISE
2002
Springer
16 years 3 days ago
2002
Springer
The common paradigm of searching and retrieving information on the Web is based on keyword-based search using one or more search engines, and then browsing through the large numbe...
172
click to vote
TOOLS
2010
IEEE
16 years 1 days ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
176
click to vote
SPAA
2010
ACM
16 years 1 days ago
2010
ACM
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...