Tag cps [97 articles] Export

Recent papers classified by the tag cps.

	Computing Differential Invariants of Hybrid Systems as Fixedpoints [My Copy] Computer Aided Verification In CAV '08: Proceedings of the 20th international conference on Computer Aided Verification (2008), pp. 176-189. by André Platzer, Edmund M. Clarke posted to model_checking cps by zhensong on 2009-11-05 18:07:34 as along with 1 person hwang
	Model checking in-the-loop: Finding counterexamples by systematic simulation [My Copy] American Control Conference, 2008 (05 August 2008), pp. 2734-2740. by F. Lerda, J. Kapinski, H. Maka, E. M. Clarke, B. H. Krogh posted to vav model_checking cps control by zhensong on 2009-10-13 15:27:00 as
	Refining Reduction in the lambda calculus [My Copy] Journal of Functional Programming, Vol. 5, No. 4. (1996), pp. 637-651. by Fairouz Kamareddine, Rob Nederpelt posted to syntax redexes lambda-calculus cps binding by mvermaat on 2009-09-29 23:45:24 as
	The Esterel Synchronous Programming Language: Design, Semantics, Implementation [My Copy] (1992) by Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place S. Laltte posted to software_engineering programming_language_design cps by zhensong on 2009-09-23 20:27:26 as
	Giotto: A Time-Triggered Language for Embedded Programming [My Copy] Embedded Software In Embedded Software (2001), pp. 166-184. by Thomas Henzinger, Benjamin Horowitz, Christoph Kirsch posted to pj_vav cps concurrent by zhensong on 2009-09-23 16:42:36 as along with 1 person embersp
	Software and the concurrency revolution [My Copy] Queue, Vol. 3, No. 7. (September 2005), pp. 54-62. by Herb Sutter, James Larus posted to pj_vav cps concurrent by zhensong on 2009-09-23 16:33:00 as along with 3 people xistenshal NSumner hannibal_07
	NetQoPE: A Model-Driven Network QoS Provisioning Engine for Distributed Real-time and Embedded Systems [My Copy] In RTAS '08: Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium (2008), pp. 113-122. by Jaiganesh Balasubramanian, Sumant Tambe, Balakrishnan Dasarathy, et al.Shrirang Gadgil, Frederick Porter, Aniruddha Gokhale, Douglas C. Schmidt posted to middleware cps by zhensong on 2009-09-16 22:03:13 as
	Verification and Control of Hybrid Systems: A Symbolic Approach [My Copy] (15 June 2009) by Paulo Tabuada posted to model_checking cps hybrid-system pj_onr by zhensong on 2009-08-10 02:41:59 as along with 1 person dwei98
	A Mobile Agent for measurements in distributed power electronic systems [My Copy] Instrumentation and Measurement Technology Conference Proceedings, 2008. IMTC 2008. IEEE In Instrumentation and Measurement Technology Conference Proceedings, 2008. IMTC 2008. IEEE (2008), pp. 870-875. by F. Ponci, A. A. Deshmukh posted to cps simulation vtb by zhensong on 2009-08-06 17:47:30 as
	Symbolically aided model development for an induction machine in virtual test bed [My Copy] Energy Conversion, IEEE Transactions on In Energy Conversion, IEEE Transactions on, Vol. 19, No. 1. (2004), pp. 125-135. by Wenzhong Gao, E. V. Solodovnik, R. A. Dougal posted to cps simulation vtb by zhensong on 2009-08-06 17:44:29 as
	Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid [My Copy] Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 363-369. by Yan Sun, B. Mcmillin, Xiaoqing Liu, D. Cape posted to control cps power power-grid by zhensong on 2009-08-06 17:36:51 as along with 1 person eduardod
	Optimal Observation for Cyber-physical Systems: A Fisher-information-matrix-based Approach [My Copy] (10 August 2009) by Zhen Song, Yangquan Chen, Chellury R. Sastry, Nazif C. Tas posted to cps sensor-network wsn by zhensong on 2009-08-06 17:10:50 as
	The SPIN Model Checker : Primer and Reference Manual [My Copy] (04 September 2003) by Gerard J. Holzmann posted to model_checking cps software by zhensong on 2009-08-06 17:04:20 as along with 3 people Scis0000002 michaelbanks tremblay_guy
	Probabilistic model checking in practice: case studies with PRISM [My Copy] SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (2005), pp. 16-21. by Marta Kwiatkowska, Gethin Norman, David Parker posted to model_checking cps by zhensong on 2009-08-06 17:03:30 as along with 3 people dwei98 streetlightios frdr
	Thorough static analysis of device drivers [My Copy] SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85. by Thomas Ball, Ella Bounimova, Byron Cook, et al.Vladimir Levin, Jakob Lichtenberg, Con Mcgarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner posted to model_checking cps software_engineering by zhensong on 2009-08-06 17:01:51 as along with 2 people pedagand srccheck
	Intelligent Diagnostic Requirements of Future All-Electric Ship Integrated Power System [My Copy] Industry Applications, IEEE Transactions on In Industry Applications, IEEE Transactions on, Vol. 43, No. 1. (2007), pp. 139-149. by K. P. Logan posted to vtb cps control agent by zhensong on 2009-08-05 16:07:33 as
	Integrating virtual test bed and JADE agent platform using CORBA for reconfiguration of shipboard power systems [My Copy] Power Engineering Society General Meeting, 2006. IEEE In Power Engineering Society General Meeting, 2006. IEEE (2006), 6 pp.. by G. Morejon, S. K. Srivastava, D. A. Cartes posted to cps vtb by zhensong on 2009-08-05 14:51:56 as
	Rabbit: A Compiler for Scheme [My Copy] (1978) by Guy L. Steele posted to compiler cps lambda-calculus scheme by mattmight on 2009-07-14 22:29:27 as along with 7 people and 1 group dimvar samth JeffreyPalmer dsilva calvins eblood bfraser NU-PRL
	Broadband and Compact Coupled Coplanar Stripline Filters With Impedance Steps [My Copy] Microwave Theory and Techniques, IEEE Transactions on In Microwave Theory and Techniques, IEEE Transactions on, Vol. 55, No. 12. (2007), pp. 2874-2886. by Ning Yang, C. Caloz, Ke Wu, Zhi N. Chen posted to cps by estimation on 2009-06-23 11:56:44 as
	Control-Flow Analysis of Higher-Order Languages [My Copy] (1991) by Olin G. Shivers posted to abstract-interpretation cfa control-flow-analysis cps dissertation static-analysis by mattmight on 2009-06-20 04:16:00 as along with 3 people and 1 group dimvar samth tov NU-PRL
	Control flow analysis in Scheme [My Copy] In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174. by Olin Shivers posted to cfa continuation-passing-style control-flow-analysis cps static-analysis by mattmight on 2009-06-20 04:08:28 as along with 7 people and 1 group robertjohnsimmons dimvar higepon samth jacob tov pedagand NU-PRL
	Coplanar Waveguide Circuits Components & Systems [My Copy] (23 March 2001) by Rainee N. Simons posted to cps by estimation on 2009-05-05 15:21:45 as
	Dairy, calcium, and vitamin D intake and postmenopausal breast cancer risk in the Cancer Prevention Study II Nutrition Cohort. [My Copy] Cancer epidemiology, biomarkers & prevention : a publication of the American Association for Cancer Research, cosponsored by the American Society of Preventive Oncology, Vol. 14, No. 12. (December 2005), pp. 2898-2904. by M. L. McCullough, C. Rodriguez, W. R. Diver, et al.H. S. Feigelson, V. L. Stevens, M. J. Thun, E. E. Calle posted to breast cancer cps d intake menopausal status vitamin by songpku on 2009-04-22 21:55:33 as
	A first-order one-pass CPS transformation [My Copy] Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257. by Olivier Danvy, Lasse R. Nielsen posted to cps functional programming transformation by jweslley on 2009-03-31 17:23:32 as along with 3 people and 2 groups dimvar dalev mvermaat NU-PRL functional programming
	A mechanistic model for the development and maintenance of portocentral gradients in gene expression in the liver. [My Copy] Hepatology (Baltimore, Md.), Vol. 29, No. 4. (April 1999), pp. 1180-1192. by V. M. Christoffels, H. Sassi, J. M. Ruijter, A. F. Moorman, T. Grange, W. H. Lamers posted to cps gene-expression by ynaito on 2009-03-24 13:50:44 as
	A single regulatory module of the carbamoylphosphate synthetase I gene executes its hepatic program of expression. [My Copy] The Journal of biological chemistry, Vol. 275, No. 51. (22 December 2000), pp. 40020-40027. by V. M. Christoffels, P. E. Habets, A. T. Das, et al.D. E. Clout, M. A. van Roon, A. F. Moorman, W. H. Lamers posted to cps gene-expression liver by ynaito on 2009-03-24 13:50:07 as
	Binding of N-acetyl-L-glutamate to rat liver carbamoyl phosphate synthetase (ammonia). [My Copy] European journal of biochemistry / FEBS, Vol. 135, No. 2. (15 September 1983), pp. 331-337. by E. Alonso, V. Rubio posted to cps liver by ynaito on 2009-03-24 13:14:00 as
	Delimited Continuations in Operating Systems [My Copy] Modeling and Using Context (2007), pp. 291-302. by Oleg Kiselyov, Chung-Chieh Shan posted to cps delimited-continuations project-master-thesis operating-system by pedagand on 2009-02-12 17:35:26 as
	A Colored Petri Net for a Multi-Agent Application [My Copy] (2002) by W. Danny, T. Holvoet posted to cps wicketworld by beete on 2009-01-26 12:37:39 as along with 6 people and 1 group semantic01 cscw01 web02 hci02 ddahlem pverstra macc
	The Good News and the Bad News [My Copy] Computer, Vol. 40, No. 11. (2007), pp. 104-105. by Wayne Wolf posted to cps by zhensong on 2008-12-26 00:01:50 as
	A functional correspondence between evaluators and abstract machines [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 8-19. by Mads S. Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard posted to cps by jpbernardy on 2008-10-14 13:43:25 as along with 4 people and 1 group dherman jacob eaubin jespera NU-PRL
	A functional correspondence between call-by-need evaluators and lazy abstract machines [My Copy] Information Processing Letters, Vol. 90, No. 5. (15 June 2004), pp. 223-232. by Mads S. Ager, Olivier Danvy, Jan Midtgaard posted to cps defunc by jpbernardy on 2008-10-14 13:32:25 as along with 1 person mzp
	Representing control: a study of the CPS transformation [My Copy] posted to cps by jpbernardy on 2008-10-14 13:30:56 as
	Three steps for the CPS transformation [My Copy] (1991) by O. Danvy posted to cps by jpbernardy on 2008-10-13 20:40:38 as
	Picosecond pulse propagation on coplanar striplines fabricated on lossy semiconductor substrates: modeling and experiments [My Copy] Microwave Theory and Techniques, IEEE Transactions on In Microwave Theory and Techniques, IEEE Transactions on, Vol. 41, No. 9. (1993), pp. 1574-1580. by Joo-Hiuk Son, Hsi-Huai Wang, J. F. Whitaker, G. A. Mourou posted to cps by estimation on 2008-10-07 14:06:30 as
	Characterization of coplanar strip lines on dielectric boards for RF and microwave applications [My Copy] International Journal of RF and Microwave Computer-Aided Engineering, Vol. 18, No. 1. (2008), pp. 76-85. by Young K. Song, Chin C. Lee posted to cps by estimation on 2008-10-07 11:18:12 as
	Slotline impedance [My Copy] Microwave Theory and Techniques, IEEE Transactions on In Microwave Theory and Techniques, IEEE Transactions on, Vol. 39, No. 4. (1991), pp. 666-672. by J. J. Lee posted to cps by estimation on 2008-10-01 14:36:00 as
	Micromachining for terahertz applications [My Copy] Microwave Theory and Techniques, IEEE Transactions on In Microwave Theory and Techniques, IEEE Transactions on, Vol. 46, No. 11. (1998), pp. 1821-1831. by V. M. Lubecke, K. Mizuno, G. M. Rebeiz posted to cps terahertz waveguide by estimation on 2008-09-18 16:56:11 as
	Novel transmission lines for the submillimeter-wave region [My Copy] Proceedings of the IEEE In Proceedings of the IEEE, Vol. 80, No. 11. (1992), pp. 1771-1787. by L. P. B. Katehi posted to cps terahertz waveguide by estimation on 2008-09-18 16:41:44 as
	Terahertz-bandwidth characteristics of coplanar transmission lines on low permittivity substrates [My Copy] Microwave Theory and Techniques, IEEE Transactions on In Microwave Theory and Techniques, IEEE Transactions on, Vol. 42, No. 12. (1994), pp. 2399-2406. by Heng-Ju Cheng, J. F. Whitaker, T. M. Weller, L. P. B. Katehi posted to cps terahertz by estimation on 2008-09-17 17:07:24 as
	Coplanar stripline components for high-frequency applications [My Copy] Microwave Theory and Techniques, IEEE Transactions on In Microwave Theory and Techniques, IEEE Transactions on, Vol. 45, No. 10. (1997), pp. 1725-1729. by K. Goverdhanam, R. N. Simons, L. P. B. Katehi posted to cps by estimation on 2008-09-17 16:48:51 as
	Monads for Incremental Computing - Functional Pearl [My Copy] by Magnus Carlsson posted to cps haskell monads by draganigajic on 2008-09-15 17:04:38 as along with 1 person pedagand
	Representing Control: A study of the CPS transformation [My Copy] Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391. by Olivier Danvy, Andrzej Filinski posted to control-operator cps by yoriyuki on 2008-09-06 17:47:24 as along with 7 people and 1 group pedagand twleung dherman JeffreyPalmer mvermaat ch jkominek NU-PRL
	Millimeter-wave coplanar strip (CPS) line flip chip packaging on PCBs [My Copy] Electronic Components and Technology Conference, 2005. Proceedings. 55th In Electronic Components and Technology Conference, 2005. Proceedings. 55th (2005), pp. 1807-1813 Vol. 2. by Y. K. Song, C. C. Lee posted to cps by estimation on 2008-09-02 22:21:43 as
	THz wave propagation on strip lines: Devices, properties, and applications [My Copy] Applied Electromagnetics and Communications, 2007. ICECom 2007. 19th International Conference on In Applied Electromagnetics and Communications, 2007. ICECom 2007. 19th International Conference on (2007), pp. 1-4. by Y. Kadoya posted to cps terahertz by estimation on 2008-09-02 22:12:52 as
	Coplanar striplines for THz frequencies: design, fabrication and measurements [My Copy] Antennas and Propagation Society International Symposium, 2005 IEEE In Antennas and Propagation Society International Symposium, 2005 IEEE, Vol. 1A (2005), pp. 284-287 Vol. 1A. by T. Mandviwala, B. Lail, G. Boreman posted to cps terahertz by estimation on 2008-09-02 15:13:16 as
	High-speed slow-wave coplanar strip GaAs/AlGaAs electro-optic laser modulator [My Copy] Microwave and Optical Technology Letters, Vol. 19, No. 3. (1998), pp. 184-186. by H. R. Khazaei, E. Berolo, F. Ghannouchi posted to cps by estimation on 2008-09-02 14:52:52 as
	Special types of coplanar transmission lines suitable up to MM-wave bands [My Copy] Electrical Performance of Electronic Packaging, 1997., IEEE 6th Topical Meeting on In Electrical Performance of Electronic Packaging, 1997., IEEE 6th Topical Meeting on (1997), pp. 99-102. by J. Svacina posted to cps by estimation on 2008-09-02 14:09:55 as
	New and very simple synthesis formulas for coplanar strip line [My Copy] Microwave and Optical Technology Letters, Vol. 44, No. 2. (2005), pp. 199-202. by Celal Yildiz posted to cps by estimation on 2008-09-02 14:01:30 as
	Reasoning about programs in continuation-passing style [My Copy] LISP and Symbolic Computation, Vol. 6, No. 3. (1 November 1993), pp. 289-360. by A. M. R. Sabry, Matthias Felleisen posted to cps lecture-cs-252r by pedagand on 2008-08-23 08:19:52 as along with 1 person mcclurmc

Note: You may cite this page as: http://www.citeulike.org/tag/cps

Result page: 1 2 Next

continuations	26
compiler	18
bachelor-project	9
cfa	9
lambda-calculus	9
control	8
traps	8
ic	7
contification	6
model_checking	6
compilers	5
effects	5
macros	5
monads	5
terahertz	5
flow-analysis	4
loop-optimization	4
static-analysis	4
verification	4
vtb	4
dependent-types	3
evo	3
msc	3
plt	3
scheme	3
ssa	3
administrative-reductions	2
analysis-accuracy	2
call-by-need	2
concurrent	2
continuation	2
control-flow-analysis	2
coq	2
erps	2
expansion-passing-style	2
first-order-cps	2
functional-programming	2
gene-expression	2
haskell	2
isabelle	2
language	2
lecture-cs-252r	2
linear-types	2
linearity	2
liver	2
monad	2
monadic-normal-form	2
one-pass-cps	2
pj_vav	2
simulation	2
software_engineering	2
theorem-proving	2
utricularia	2
waveguide	2
abstract-interpretation	1
agent	1
behe	1
binding	1
cancer	1
coatonachthoides	1
continuation-passing-style	1
control-flow	1
d	1
defunctionalization	1
delimited-continuations	1
dependent	1
dissertation	1
functional	1
hybrid-system	1
information-structure	1
insects	1
intake	1
lambda-cube	1
language-haskell	1
menopausal	1
middleware	1
ml	1
nepenthes	1
operating-system	1
pitch-accents	1
pj_onr	1
power	1
power-grid	1
programming	1
programming_language_design	1
project-master-thesis	1
prosody	1
redexes	1
sensor-network	1
software	1
status	1
syntax	1
transformation	1
transformations	1
type	1
types	1
vav	1
vitamin	1
wicketworld	1
wsn	1

Tag cps [97 articles] Export

Related Tags