5451 search results - page 890 / 1091 » Typed Operational Semantics |
185
click to vote
USS
2010
15 years 1 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
183
click to vote
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
136
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
The soaring demands for always-on and fast-response online services have driven modern datacenter networks to undergo tremendous growth. These networks often rely on scale-out des...
238
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Although conventional database management systems are designed to tolerate hardware and to a lesser extent even software errors, they cannot protect themselves against syntactical...
160
click to vote
SPAA
2009
ACM
16 years 4 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...