Sciweavers

28888 search results - page 72 / 5778
» Computability and complexity in analysis
Sort
View
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
14 years 1 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
STACS
2012
Springer
12 years 3 months ago
On Computing Pareto Stable Assignments
Assignment between two parties in a two-sided matching market has been one of the central questions studied in economics, due to its extensive applications, focusing on different...
Ning Chen
COMPLEX
2009
Springer
14 years 2 months ago
Comparing Networks from a Data Analysis Perspective
To probe network characteristics, two predominant ways of network comparison are global property statistics and subgraph enumeration. However, they suffer from limited information...
Wei Li, Jing-Yu Yang
ESOP
2001
Springer
14 years 13 days ago
Control-Flow Analysis in Cubic Time
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
Flemming Nielson, Helmut Seidl
DOCENG
2005
ACM
13 years 10 months ago
An environment for maintaining computation dependency in XML documents
In the domain of XML authoring, there have been many tools to help users to edit XML documents. These tools make it easier to produce complex documents by using such technologies ...
Dongxi Liu, Zhenjiang Hu, Masato Takeichi