Sciweavers

4079 search results - page 429 / 816
» Differential Testing for Software
Sort
View
ACMMSP
2006
ACM
252views Hardware» more  ACMMSP 2006»
16 years 7 days ago
Deconstructing process isolation
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
Mark Aiken, Manuel Fähndrich, Chris Hawblitze...
151
Voted
ACMSE
2007
ACM
15 years 10 months ago
Verifying design modularity, hierarchy, and interaction locality using data clustering techniques
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
Liguo Yu, Srini Ramaswamy
BMCBI
2007
103views more  BMCBI 2007»
15 years 6 months ago
Dynamic simulation of regulatory networks using SQUAD
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...
Alessandro Di Cara, Abhishek Garg, Giovanni De Mic...
SIGSOFT
2009
ACM
16 years 1 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
MICCAI
2003
Springer
16 years 7 months ago
Determination of the Mechanical Properties of Soft Human Tissues through Aspiration Experiments
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...
Alessandro Nava, Edoardo Mazza, Frederic Kleinerma...