Sciweavers

24421 search results - page 4377 / 4885
» Communicating Complex Systems
Sort
View
LCPC
2004
Springer
16 years 14 days ago
Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
Patrick Carribault, Christophe Lemuet, Jean-Thomas...
LCPC
2004
Springer
16 years 14 days ago
HiLO: High Level Optimization of FFTs
As computing platforms become more and more complex, the task of optimizing performance critical codes becomes more challenging. Recently, more attention has been focused on automa...
Nick Rizzolo, David A. Padua
LCTRTS
2004
Springer
16 years 14 days ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic
LPNMR
2004
Springer
16 years 14 days ago
Reasoning About Actions and Change in Answer Set Programming
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
Yannis Dimopoulos, Antonis C. Kakas, Loizos Michae...
PPSWR
2004
Springer
16 years 14 days ago
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
Hans Jürgen Ohlbach
« Prev « First page 4377 / 4885 Last » Next »