Sciweavers

645 search results - page 80 / 129
» concurrency 2007
Sort
View
ASAP
2007
IEEE
116views Hardware» more  ASAP 2007»
15 years 2 months ago
The Design of a Novel Object-oriented Processor : OOMIPS
A novel object-oriented processor is proposed in this paper, which provides support for object addressing, message passing and dynamic memory management. Object running on this pr...
Weixing Ji, Feng Shi, Baojun Qiao, Muhammad Kamran
71
Voted
WCE
2007
15 years 1 months ago
Managing Socio-technical Change in Indian Automobile Industry - A Survey
Management of change has assumed a great deal of importance in Indian automobile industry. Managing change is posing a big challenge to Indian firms in the wake of globalization a...
Rajiv Kumar Garg
92
Voted
CG
2007
Springer
15 years 17 days ago
Interactive function-based shape modelling
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...
Konstantin Levinski, Alexei Sourin
ENTCS
2007
111views more  ENTCS 2007»
15 years 16 days ago
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
Rocco De Nicola, Michele Loreti
CASCON
2007
157views Education» more  CASCON 2007»
15 years 2 months ago
Threats on building models from CVS and Bugzilla repositories: the Mozilla case study
Information obtained by merging data extracted from problem reporting systems – such as Bugzilla – and versioning systems – such as Concurrent Version System (CVS) – is wi...
Kamel Ayari, Peyman Meshkinfam, Giuliano Antoniol,...