Sciweavers

1469 search results - page 203 / 294
» Structural aspects of tilings
Sort
View
RECOMB
2001
Springer
15 years 11 months ago
Towards predicting coiled-coil protein interactions
Protein-protein interactions play a central role in many cellular functions, and as whole-genome data accumulates, computational methods for predicting these interactions become i...
Mona Singh, Peter S. Kim
SIGMOD
2007
ACM
159views Database» more  SIGMOD 2007»
15 years 11 months ago
Anatomy of the ADO.NET entity framework
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
Atul Adya, José A. Blakeley, S. Muralidhar,...
ICFP
2007
ACM
15 years 11 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
ICWS
2009
IEEE
15 years 8 months ago
Towards Probabilistic Estimation of Quality of Online Services
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...
Le-Hung Vu, Karl Aberer
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
15 years 8 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...