Sciweavers

1136 search results - page 121 / 228
» Processing-in-Memory: Exploring the Design Space
Sort
View
ENTCS
2008
97views more  ENTCS 2008»
15 years 22 days ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic
138
Voted
CCE
2005
15 years 17 days ago
Development and application of linear process model in estimation and control of reactive distillation
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
Moshood J. Olanrewaju, Muhammad A. Al-Arfaj
ETS
2000
IEEE
154views Hardware» more  ETS 2000»
15 years 15 days ago
Task Structuring for On-line Problem Based Learning: A Case Study
Getting students to collaborate on group projects in a face-to-face scenario can be difficult enough -- but how does one approach collaborative projects in a Web-based environment...
Vanessa Paz Dennen
CONCURRENCY
1998
90views more  CONCURRENCY 1998»
15 years 11 days ago
Java RMI performance and object model interoperability: experiments with Java/HPC++
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
Fabian Breg, Shridhar Diwan, Juan E. Villacis, Jay...
116
Voted
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
14 years 11 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...