Sciweavers

3481 search results - page 371 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
EUSFLAT
2009
170views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Decision Making in Competitive Location using Fuzzy Sets
This paper deals with the competitive location problems using fuzzy sets. The basic notions on fuzzy optimization and linear programming using fuzzy sets are briefly reviewed. The ...
Clara M. Campos, Lourdes Canós, Marí...
150
Voted
EMSOFT
2005
Springer
15 years 10 months ago
Distributing synchronous programs using bounded queues
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
Marco Zennaro, Raja Sengupta
PASTE
2004
ACM
15 years 10 months ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
136
Voted
CLEIEJ
2010
15 years 2 months ago
Teaching Programming Principles through a Game Engine
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...
Cristiane Camilo Hernandez, Luciano Silva, Rafael ...
152
Voted
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 11 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner