Sciweavers

15253 search results - page 172 / 3051
» Integer-Programming Software Systems
Sort
View
APLAS
2005
ACM
15 years 10 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
BMCBI
2007
152views more  BMCBI 2007»
15 years 5 months ago
PASSIM - an open source software system for managing information in biomedical studies
Background: One of the crucial aspects of day-to-day laboratory information management is collection, storage and retrieval of information about research subjects and biomedical s...
Juris Viksna, Edgars Celms, Martins Opmanis, Karli...
193
Voted
PPOPP
2006
ACM
15 years 11 months ago
McRT-STM: a high performance software transactional memory system for a multi-core runtime
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hu...
165
Voted
BIB
2010
129views more  BIB 2010»
15 years 5 months ago
Pathway Tools version 13.0: integrated software for pathway/genome informatics and systems biology
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
Peter D. Karp, Suzanne M. Paley, Markus Krummenack...
SBACPAD
2008
IEEE
126views Hardware» more  SBACPAD 2008»
15 years 11 months ago
A Software Transactional Memory System for an Asymmetric Processor Architecture
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
Felipe Goldstein, Alexandro Baldassin, Paulo Cento...