Sciweavers

2576 search results - page 243 / 516
» Methodology work is ontology work
Sort
View
ASPDAC
2009
ACM
124views Hardware» more  ASPDAC 2009»
15 years 11 months ago
Thermal optimization in multi-granularity multi-core floorplanning
—Multi-core microarchitectures require a careful balance between many competing objectives to achieve the highest possible performance. Integrated Early Analysis is the considera...
Michael B. Healy, Hsien-Hsin S. Lee, Gabriel H. Lo...
ISSS
2000
IEEE
144views Hardware» more  ISSS 2000»
15 years 11 months ago
Efficient Hardware Controller Synthesis for Synchronous Dataflow Graph in System Level Design
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha
REX
1989
15 years 10 months ago
METATEM: A Framework for Programming in Temporal Logic
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
Howard Barringer, Michael Fisher, Dov M. Gabbay, G...
ACII
2007
Springer
15 years 10 months ago
Towards Affective-Psychophysiological Foundations for Music Production
Abstract. This paper describes affective and psychophysiological foundations used to help to control affective content in music production. Our work includes the proposal of a know...
António Pedro Oliveira, Amílcar Card...
AGILEDC
2006
IEEE
15 years 10 months ago
Forming Successful eXtreme Programming Teams
XP is a lightweight process that provides principles for guiding projects and relies on the participants for its success. However, despite these guidelines, projects can be unsucc...
Alan Gray, Andrew Jackson, Ioanna Stamouli, Shiu L...