Search Sciweavers | Sciweavers

3591 search results - page 37 / 719

» Typing linear constraints

104

click to vote

ICCAD
2008
IEEE

93views Hardware» more ICCAD 2008»

Linear constraint graph for floorplan optimization with soft blocks

16 years 2 months ago

Download www.ece.iit.edu

Jia Wang, Hai Zhou

claim paper

Read More »

117

click to vote

CAV
2007
Springer

93views Hardware» more CAV 2007»

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals

15 years 11 months ago

Download www.inf.ethz.ch

Bernd Becker, Christian Dax, Jochen Eisinger, Feli...

claim paper

Read More »

click to vote

SAC
2005
ACM

90views Applied Computing» more SAC 2005»

Solving linear and one-way constraints for web document layout

15 years 11 months ago

Download research.nii.ac.jp

Hiroshi Hosobe

claim paper

Read More »

114

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

15 years 10 months ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

261

click to vote

PODS
2000
ACM

221views Database» more PODS 2000»

Fixed-Point Query Languages for Linear Constraint Databases

15 years 9 months ago

Download www.comlab.ox.ac.uk

Ï ÒØÖÓ Ù Ñ ÐÝ Ó ÕÙ ÖÝ Ð Ò Ù × ÓÖ Ð Ò Ö ÓÒ¹ ×ØÖ ÒØ Ø × × ÓÚ Ö Ø Ö Ð×º Ì Ð Ò Ù × Ö ¬Ò ÓÚ Ö ØÛÓ¹×ÓÖØ ×ØÖÙ ØÙÖ ×...

Stephan Kreutzer

claim paper

Read More »

« Prev « First page 37 / 719 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers