Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16725
search results - page 244 / 3345
»
Engineering Software Correctness
Sort
relevance
views
votes
recent
update
View
thumb
title
123
click to vote
CODES
2001
IEEE
78
views
Software Engineering
»
more
CODES 2001
»
Parameterised system design based on genetic algorithms
15 years 10 months ago
Download
www.cs.york.ac.uk
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi
claim paper
Read More »
128
click to vote
CODES
2001
IEEE
86
views
Software Engineering
»
more
CODES 2001
»
STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems
15 years 10 months ago
Download
www.cecs.uci.edu
Felice Balarin
claim paper
Read More »
126
click to vote
CODES
2001
IEEE
86
views
Software Engineering
»
more
CODES 2001
»
Logic optimization and code generation for embedded control applications
15 years 10 months ago
Download
embedded.eecs.berkeley.edu
Yunjian Jiang, Robert K. Brayton
claim paper
Read More »
128
click to vote
CODES
2001
IEEE
93
views
Software Engineering
»
more
CODES 2001
»
Area-efficient buffer binding based on a novel two-port FIFO structure
15 years 10 months ago
Download
www.cecs.uci.edu
Kyoungseok Rha, Kiyoung Choi
claim paper
Read More »
150
click to vote
CODES
2001
IEEE
74
views
Software Engineering
»
more
CODES 2001
»
A constructive algorithm for memory-aware task assignment and scheduling
15 years 10 months ago
Download
www.cs.lth.se
Radoslaw Szymanek, Krzysztof Kuchcinski
claim paper
Read More »
« Prev
« First
page 244 / 3345
Last »
Next »
