Sciweavers

1969 search results - page 350 / 394
» Pattern Languages in Interaction Design
Sort
View
PLDI
2004
ACM
15 years 5 months ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu
KBSE
2007
IEEE
15 years 6 months ago
Scalable automatic test data generation from modeling diagrams
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
Yannis Smaragdakis, Christoph Csallner, Ranjith Su...
107
Voted
BMCBI
2008
226views more  BMCBI 2008»
14 years 12 months ago
ProteoLens: a visual analytic tool for multi-scale database-driven biological network data mining
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
Tianxiao Huan, Andrey Y. Sivachenko, Scott H. Harr...
SIGMOD
2008
ACM
190views Database» more  SIGMOD 2008»
16 years 4 hour ago
XRPC: distributed XQuery and update processing with heterogeneous XQuery engines
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
Ying Zhang, Peter A. Boncz
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 8 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...