Sciweavers

1573 search results - page 54 / 315
» Picture Programming Project
Sort
View
LCPC
2007
Springer
15 years 6 months ago
Modeling Relations between Inputs and Dynamic Behavior for General Programs
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
Xipeng Shen, Feng Mao
LPKR
1997
Springer
15 years 4 months ago
Knowledge Representation with Logic Programs
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
Gerhard Brewka, Jürgen Dix
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
15 years 6 months ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
BMCBI
2004
120views more  BMCBI 2004»
14 years 11 months ago
pdb-care (PDB CArbohydrate REsidue check): a program to support annotation of complex carbohydrate structures in PDB files
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
Thomas Lütteke, Claus-Wilhelm von der Lieth
FECS
2007
223views Education» more  FECS 2007»
15 years 1 months ago
Designing Software Engineering Option within Computer Science Bachelor of Science Program
- This paper describes a Software Engineering Option (SEO) within the current BS in Computer Science program at UMASS Dartmouth. The SE Option reuses significant portion of the exi...
Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajc...