Sciweavers

1901 search results - page 27 / 381
» Predicting Program Properties from
Sort
View
IPPS
2000
IEEE
15 years 6 months ago
Controlling Distributed Shared Memory Consistency from High Level Programming Languages
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
Yvon Jégou
BMCBI
2008
124views more  BMCBI 2008»
15 years 2 months ago
Computational identification of ubiquitylation sites from protein sequences
Background: Ubiquitylation plays an important role in regulating protein functions. Recently, experimental methods were developed toward effective identification of ubiquitylation...
Chun-Wei Tung, Shinn-Ying Ho
SPATIALCOGNITION
2004
Springer
15 years 7 months ago
Isovists as a Means to Predict Spatial Experience and Behavior
Two experiments are presented studying interrelations between spatial properties of environments and both experience and spatial behavior. In order to systematically study such int...
Jan Malte Wiener, Gerald Franz
POPL
2005
ACM
16 years 2 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
ICSOC
2005
Springer
15 years 8 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin