Sciweavers

329 search results - page 13 / 66
» SLX: the X is for extensibility
Sort
View
DM
2011
238views Education» more  DM 2011»
13 years 2 months ago
A combinatorial approach to height sequences in finite partially ordered sets
Fix an element x of a finite partially ordered set P on n elements. Then let hi(x) be the number of linear extensions of P in which x is in position i, counting from the bottom. T...
Csaba Biró, William T. Trotter
ISSS
1998
IEEE
120views Hardware» more  ISSS 1998»
14 years 5 days ago
Application of Instruction Analysis/Synthesis Tools to x86's Functional Unit Allocation
Designing a cost effective superscalar architecture for x86 compatible microprocessors is a challenging task in terms of both technical difficulty and commercial value. One of the...
Ing-Jer Huang, Ping-Huei Xie
ECOOP
2007
Springer
13 years 12 months ago
Tracking Linear and Affine Resources with Java(X)
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
Markus Degen, Peter Thiemann, Stefan Wehr
ICHIM
2001
116views more  ICHIM 2001»
13 years 9 months ago
MauroTeX - A Language for Electronic Critical Editions
MauroTeX, an extension of the wellknown LaTeX typesetting system, is a language designed in order to completely describe philological critical editions of ancient mathematical and...
Paolo Mascellani, Pier Daniele Napoletani
ASPDAC
2007
ACM
106views Hardware» more  ASPDAC 2007»
13 years 9 months ago
Bisection Based Placement for the X Architecture
Rising interconnect delay and power consumption have motivated the investigation of alternative integrated circuit routing architectures. In particular, the X Architecture, which ...
Satoshi Ono, Sameer Tilak, Patrick H. Madden