Sciweavers

252 search results - page 28 / 51
» On partitions of discrete boxes
Sort
View
JCDCG
2000
Springer
13 years 11 months ago
Sequentially Divisible Dissections of Simple Polygons
A k-dissection D of a polygon P, is a partition of P into a set of subpolygons {Q1, . . . , Qm} with disjoint interiors such that these can be reassembled to form k polygons P1, ....
Jin Akiyama, Toshinori Sakai, Jorge Urrutia
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
JSCIC
2006
72views more  JSCIC 2006»
13 years 7 months ago
Space-Time Adaptive Solution of First Order PDES
An explicit time-stepping method is developed for adaptive solution of time-dependent partial differential equations with first order derivatives. The space is partitioned into bl...
Lars Ferm, Per Lötstedt
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 7 months ago
Multiprocessor Global Scheduling on Frame-Based DVFS Systems
In this work, we are interested in multiprocessor energy efficient systems where task durations are not known in advance but are known stochastically. More precisely we consider g...
Vandy Berten, Joël Goossens
GLVLSI
2009
IEEE
189views VLSI» more  GLVLSI 2009»
14 years 2 months ago
High-performance, cost-effective heterogeneous 3D FPGA architectures
In this paper, we propose novel architectural and design techniques for three-dimensional field-programmable gate arrays (3D FPGAs) with Through-Silicon Vias (TSVs). We develop a...
Roto Le, Sherief Reda, R. Iris Bahar